This paper discusses counterexamples to the thesis that the probabilities of conditionals are conditional probabilities. It is argued that the discrepancy is systematic and predictable, and that conditional probabilities are crucially involved in the apparently deviant interpretations. Furthermore, the examples suggest that such conditionals have a less prominent reading on which their probability is in fact the conditional probability, and that the two readings are related by a simple step of abductive inference. Central to the proposal is a distinction between (...) causal and purely stochastic dependence between variables. (shrink)

We present the first comprehensive theory of fairness that conceives of fairness as having two dimensions: a comparative and an absolute one. The comparative dimension of fairness has traditionally been the main interest of Broomean fairness theories. It has been analysed as satisfying competing individual claims in proportion to their respective strengths. And yet, many key contributors to Broomean fairness agree that ‘absolute’ fairness is important as well. We make this concern precise by introducing the Fairness formula and the absolute (...) priority rule and analyse their implications for comparative fairness. (shrink)

This article considers the prospects of inference to the best explanation as a method of confirming causal claims vis-à-vis the medical evidence of mechanisms. I show that IBE is actually descriptive of how scientists reason when choosing among hypotheses, that it is amenable to the balance/weight distinction, a pivotal pair of concepts in the philosophy of evidence, and that it can do justice to interesting features of the interplay between mechanistic and population level assessments.

How do we get out knowledge of the natural numbers? Various philosophical accounts exist, but there has been comparatively little attention to psychological data on how the learning process actually takes place. I work through the psychological literature on number acquisition with the aim of characterising the acquisition stages in formal terms. In doing so, I argue that we need a combination of current neologicist accounts and accounts such as that of Parsons. In particular, I argue that we learn the (...) initial segment of the natural numbers on the basis of the Fregean definitions, but do not learn the natural number structure as a whole on the basis of Hume's principle. Therefore, we need to account for some of the consistency of our number concepts with the Dedekind-Peano axioms in other terms. (shrink)

Philosophers investigating the interpretation and use of conditional sentences have long been intrigued by the intuitive correspondence between the probability of a conditional `if A, then C' and the conditional probability of C, given A. Attempts to account for this intuition within a general probabilistic theory of belief, meaning and use have been plagued by a danger of trivialization, which has proven to be remarkably recalcitrant and absorbed much of the creative effort in the area. But there is a strategy (...) for avoiding triviality that has been known for almost as long as the triviality results themselves. What is lacking is a straightforward integration of this approach in a larger framework of belief representation and dynamics. This paper discusses some of the issues involved and proposes an account of belief update by conditionalization. (shrink)

The rise of causality and the attendant graph-theoretic modeling tools in the study of counterfactual reasoning has had resounding effects in many areas of cognitive science, but it has thus far not permeated the mainstream in linguistic theory to a comparable degree. In this study I show that a version of the predominant framework for the formal semantic analysis of conditionals, Kratzer-style premise semantics, allows for a straightforward implementation of the crucial ideas and insights of Pearl-style causal networks. I spell (...) out the details of such an implementation, focusing especially on the notions of intervention on a network and backtracking interpretations of counterfactuals. (shrink)

In the article ‘How to be absolutely fair, Part I: the Fairness formula’, we presented the first theory of comparative and absolute fairness. Here, we relate the implications of our Fairness formula to economic theories of fair division. Our analysis makes contributions to both philosophy and economics: to the philosophical literature, we add an axiomatic discussion of proportionality and fairness. To the economic literature, we add an appealing normative theory of absolute and comparative fairness that can be used to evaluate (...) axioms and division rules. Also, we provide a novel definition and characterization of the absolute priority rule. (shrink)

In spite of the fact that Helmholtz made a decisive contribution to the first principle of thermodynamics by his Erhaltung der Kraft of 1847 he did not participate actively in the following debates about the nature of heat. Probably he was cautious in some way as he did not yet belong to the community of university physicists. His research concentrated on physiology at that time. On the other hand he was rather influential by his public speeches and his comprehensive reviews (...) on problems of heat even without further publications. Insofar the discussion of Helmholtz's activities on heat of the time before he became chairholder of physics in 1871 will help to understand his special relation to physics in this early period. (shrink)

Users of sociotechnical systems often have no way to independently verify whether the system output which they use to make decisions is correct; they are epistemically dependent on the system. We argue that this leads to problems when the system is wrong, namely to bad decisions and violations of the norm of practical reasoning. To prevent this from occurring we suggest the implementation of defeaters: information that a system is unreliable in a specific case (undercutting defeat) or independent information that (...) the output is wrong (rebutting defeat). Practically, we suggest to design defeaters based on the different ways in which a system might produce erroneous outputs, and analyse this suggestion with a case study of the risk classification algorithm used by the Dutch tax agency. (shrink)

There is some limited contemporary scholarship on the theory of metaphor Kant appears to provide in his Critique of Judgment. The dominant interpretations that have emerged of Kant’s somewhat nascent account of metaphors are what I refer to as the symbolist view, which states that Kantian symbols should be viewed as Kantian metaphors, and the aesthetic idea view, which holds that Kant defi ned metaphors as aesthetic ideas . In this essay, I claim that the symbolist view of Kantian metaphors (...) is not plausible and that we should accept the aesthetic idea view in its stead. The jumping off points for my discussion are two fairly recent essays on the subject: A. T. Nuyen’s “The Kantian Theory of Metaphor” and Kirk Pillow’s “Jupiter’s Eagle and the Despot’s Hand Mill: Two Views of Metaphor in Kant.” Nuyen defends the symbolist view of Kantian metaphor and Pillow defends a split view, i.e., Pillow thinks Kant has a dual-aspect view of metaphor that can bear both the symbolist and the aesthetic idea interpretations. Although I make use of some of Pillow’s objections against the symbolist view, I conclude that both he and Nuyen are wrong in thinking that Kantian symbols have any relationship to Kantian metaphors at all. Lastly, I will provide my own positive account of Kant’s theory of metaphors as well as show how this debate affects Kant’s overallaesthetic theory. (shrink)

Machine learning is used more and more in scientific contexts, from the recent breakthroughs with AlphaFold2 in protein fold prediction to the use of ML in parametrization for large climate/astronomy models. Yet it is unclear whether we can obtain scientific explanations from such models. I argue that when machine learning is used to conduct causal inference we can give a new positive answer to this question. However, these ML models are purpose-built models and there are technical results showing that standard (...) machine learning models cannot be used for the same type of causal inference. Instead, there is a pathway to causal explanations from predictive ML models through new explainability techniques; specifically, new methods to extract structural equation models from such ML models. The extracted models are likely to suffer from issues though: they will often fail to account for confounders and colliders, as well as deliver simply incorrect causal graphs due to ML models tendency to violate physical laws such as the conservation of energy. In this case, extracted graphs are a starting point for new explanations, but predictive accuracy is no guarantee for good explanations. (shrink)

Most accounts of our knowledge of the successor axiom claim that this is based on the procedure of adding one. While they usually don’t claim to provide an account of how children actually acquire this knowledge, one may well think that this is how they get that knowledge. I argue that when we look at children’s responses in interviews, the time when they learn the successor axiom and the intermediate learning stages they find themselves in, that there is an empirically (...) viable alternative. I argue that they could also learn it on the basis of a method that has to do with the structure of the numeral system. Specifically, that they (1) use the syntactic structure of the numeral system and (2) attend to the leftmost digits, the one with the highest place-value. Children can learn that this is a reliable method of forming larger numbers by combining two elements. First, a grasp of the syntactic structure of the numeral system. That way they know that the leftmost digit receives the highest value. Second, an interpretation of numerals as designating cardinal values, so that they also realise that increasing or adding digits on the lefthand side of a numeral produces a larger number. There are thus two, currently equally well-supported, ways in which children might learn that there are infinitely many natural numbers. (shrink)

Within evolutionary biology, life-history theory is used to explain cross-species differences in allocation strategies regarding reproduction, maturation, and survival. Behavioral scientists have recently begun to conceptualize such strategies as a within-species individual characteristic that is predictive of behavior. Although life history theory provides an important framework for behavioral scientists, the psychometric approach to life-history strategy measurement—as operationalized by K-factors—involves conceptual entanglements. We argue that current psychometric approaches attempting to identify K-factors are based on an unwarranted conflation of functional descriptions and (...) proximate mechanisms—a conceptual mix-up that may generate unviable hypotheses and invites misinterpretation of empirical findings. The assumptions underlying generic psychometric methodology do not allow measurement of functionally defined variables; rather these methods are confined to Mayr’s proximate causal realm. We therefore conclude that K-factor scales lack validity, and that life history strategy cannot be identified with psychometrics as usual. To align theory with methodology, suggestions for alternative methods and new avenues are proposed. (shrink)

How come we ought to do things? Current metanormative debates often suffer from the fact that authors implicitly use adequacy conditions not shared by their opponents. This leads to an unsatisfying dialectical gridlock: One author accuses her opponents of not being able to account for stuff she judges essential, but the opponents do not think this to be a major flaw. In an attempt to meet the problem of gridlock head-on, the current investigation approaches oughtness differently. -/- I start with (...) the introduction of a grounding framework for thinking about oughtness -- the central normative property -- that allows a lucid presentation of the views on the market. It soon becomes clear that one necessary part of any plausible assessment of accounts of oughtness is a discussion of their adequacy conditions. I continue with a detailed evaluation of four different accounts, as presented by Halbig (2007), Schroeder (2007), Stemmer (2006), and Scanlon (2014). My main result is that desire-based or Humean theories of oughtness are more plausible because desire-independent accounts fail to explain something crucial: the for-me character of oughtness. Based on the insights gathered thus far, I then develop a new Humean theory – metaethical conativism – and defend it against some historically influential objections. (shrink)

Business Ethics, the Environment &Responsibility, Volume 32, Issue 2, Page 415-418, April 2023.

Inference to the Best Explanation is usually employed in the Scientific Realism debates. As far as particular scientific theories are concerned, its most ready usage seems to be that of a theory of confirmation. There are however more uses of IBE, namely as an epistemological theory of testimony and as a means of categorising and justifying the sources of evidence. In this paper, I will present, develop and exemplify IBE as a theory of the quality of evidence - taking examples (...) from medicine and showing that IBE can thereby provide the epistemological underpinning and justify the criteria of grading quality of mechanistic evidence that have been recently provided in the Clarke et al. paper on how evidence of medical mechanisms is to be construed alongside population studies. (shrink)

Construction grammar organizes its basic elements of description, its constructions, into networks that range from concrete, lexically-filled constructions to fully schematic ones, with several levels of partially schematic constructions in between. However, only few corpus studies with a constructionist background take this multi-level nature fully into account. In this paper, we argue that understanding language variation can be advanced considerably by systematically formulating and testing hypotheses at various levels in the constructional network. To illustrate the approach, we present a corpus (...) study of the Dutch naar-alternation. It is found that this alternation primarily functions at an intermediate level in the constructional network. (shrink)

According to Humean promotionalism about practical reasons, the fact that I have a reason to φ holds in virtue of the fact that φ-ing promotes one or more of my desires. The topic of this discussion note is the question of how best to understand the promotion relation. In particular, I defend a probabilistic understanding of promotion against a line of argument recently brought forth by Jeff Behrends, Joshua DiPaolo, and Nate Sharadin. Roughly, their argument is that probabilistic promotion leads (...) to implausible results in cases in which the relevant desires are certain to be satisfied. In these cases, a probabilistic understanding tells us that we do not have a reason to φ because the probability of desire satisfaction is 1 already. Contrary to Behrends', DiPaolo's, and Sharadin's claims, I argue that this is precisely the result a Humean theory of reasons should generate. According to Humeanism, we have reasons for actions because these actions make a difference to the occurrence of desire satisfaction - where the causal route to desire satisfaction is normatively irrelevant. Thus, if desire satisfaction is dead certain, we have no reason to do anything. (shrink)

On the basis of an earlier contribution to the philosophy of computer science by Amnon Eden, this essay discusses to what extent Eden’s ‘paradigms’ of computer science can be transferred or applied to software engineering. This discussion implies an analysis of how software engineering and computer science are related to each other. The essay concludes that software engineering can neither be fully subsumed by computer science, nor vice versa. Consequently, also the philosophies of computer science and software engineering—though related to (...) each other—are not identical branches of a general philosophy of science. This also implies that not all of Eden’s earlier arguments can be directly mapped from the domain of computer science into the domain of software science. After the discussion of this main topic, the essay also points to some further problems and open issues for future studies in the philosophy of software science and engineering. (shrink)

We investigate the Ramsey theory of continuous graph-structures on complete, separable metric spaces and apply the results to the problem of covering a plane by functions. Let the homogeneity number[Formula: see text] of a pair-coloring c:[X]2→2 be the number of c-homogeneous subsets of X needed to cover X. We isolate two continuous pair-colorings on the Cantor space 2ω, c min and c max, which satisfy [Formula: see text] and prove: Theorem. For every Polish space X and every continuous pair-coloringc:[X]2→2with[Formula: see (...) text], [Formula: see text] There is a model of set theory in which[Formula: see text]and[Formula: see text]. The consistency of [Formula: see text] and of [Formula: see text] follows from [20]. We prove that [Formula: see text] is equal to the covering number of 2 by graphs of Lipschitz functions and their reflections on the diagonal. An iteration of an optimal forcing notion associated to c min gives: Theorem. There is a model of set theory in which ℝ2 is coverable byℵ1graphs and reflections of graphs of continuous real functions; ℝ2 is not coverable byℵ1graphs and reflections of graphs of Lipschitz real functions. Figure 1.1 in the introduction summarizes the ZFC results in Part I of the paper. The independence results in Part II show that any two rows in Fig. 1.1 can be separated if one excludes [Formula: see text] from row. (shrink)

One of the important discussions in the philosophy of mathematics, is that centered on Benacerraf’s Dilemma. Benacerraf’s dilemma challenges theorists to provide an epistemology and semantics for mathematics, based on their favourite ontology. This challenge is the point on which all philosophies of mathematics are judged, and clarifying how we might acquire mathematical knowledge is one of the main occupations of philosophers of mathematics. In this thesis I argue that this discussion has overlooked an important part of mathematics, namely mathematics (...) as it is exercised by ordinary people. I do so by looking at the different theories that have been put forward in the recent debate, and showing for each of these that they are unable to account for the mathematical practices of ordinary people. In order to show that these practices do need to be accounted for, I also argue that ordinary people are doing mathematics, i.e. that they engage in properly mathematical practices. Because these practices are properly mathematical, they should be accounted for by any philosophy of mathematics. The conclusion of my thesis, then, is that current theories fail to do something that they should do, while remaining neutral on how well they perform when it comes to accounting for the practices of professional mathematicians. (shrink)

I compare Sellars’s criticism of the ‘myth of the given’ with Quine’s criticism of the ‘two dogmas’ of empiricism, that is, the analytic–synthetic distinction and reductionism. In Sections I to III, I present Quine’s and Sellars’s views. In IV to X, I discuss similarities and differences in their views. In XI to XII, I show that Sellars’s arguments against the ‘myth of the given’ are incompatible with Quine’s rejection of the analytic–synthetic distinction.

We consider the historic Harress-Sagnac experiment in the light of our absolute space-time theory, proposing two modifications, and we give an account of its recent practical performance. We show that the effect of the rotating disk experiment is a direct result of the light velocity's direction dependence and we point out that our recently performed coupled-mirrors experiment, with whose help for the first time we have measured the Earth's absolute velocity, can be considered as a logical result of the rotating (...) disk experiment. (shrink)

This systematic review identified and evaluated instruments measuring patients' perceptions of patient‐centred nursing care. Of 2629 studies reviewed, 12 were eligible for inclusion. Four instruments were reported: The Individualized Care Scale, the Client‐Centred Care Questionnaire, the Oncology patients' Perceptions of the Quality of Nursing Care Scale and the Smoliner scale. These instruments cover themes addressing patient participation and the clinician–patient relationship. Instruments were shown to have satisfactory psychometric properties, although not all were adequately assessed. More research is needed regarding test–retest (...) reliability, convergent and discriminant validity, validity with known groups and structural validity using confirmatory factor analysis. (shrink)

With the widespread use of artificial intelligence, it becomes crucial to provide information about these systems and how they are used. Governments aim to disclose their use of algorithms to establish legitimacy and the EU AI Act mandates forms of transparency for all high-risk and limited-risk systems. Yet, what should the standards for transparency be? What information is needed to show to a wide public that a certain system can be used legitimately and responsibly? I argue that process-based approaches fail (...) to satisfy, as knowledge about the development process is insufficient to predict the properties of the resulting system. Current outcome-based approaches [Mitchell et al., 2019; Loi et al., 2021] are also criticized for a lack of attention to the broader socio-technical system and failure to account for empirical results that show that people care about more than just the outcomes of a process [as reported by Meyerson et al. (Procedural justice and relational theory: Empirical, philosophical, and legal perspectives, Taylor & Francis, 2021)]. Instead, I propose value-based transparency, on which the information we need to provide is what values have been considered in the design and how successful these have been realized in the final system. This can handle the objections to other frameworks, matches with current best practices on the design of responsible AI and provides the public with information on the crucial aspects of a system’s design. (shrink)

Proceeding from our absolute space-time conceptions, we obtain the formula for the gravitational frequency shift in an extremely simple way. Using our “burst” model for photons, we show that the different rates of clocks placed in spatial regions with different gravitational potentials appear as a direct result of the gravitational frequency shift and the axiomatic assumption that at any space point the time unit is to be defined by light clocks with equal “arms,” i.e., that at any space point the (...) light velocity (in moving frames the “there-and-back” velocity) has the same numerical valuec. Considering the principle of equivalence, we come to the logical conclusion that the kinematic (Einstein-Lorentz) time dilation is an absolute phenomenon. (shrink)

Autor porusza zagadnienie oceny dzieł sztuki w odniesieniu do teorii neuroestetyki oraz problemu oceny świata zewnętrznego przez człowieka.

Recent developments in the field of artificial intelligence (AI) present profound challenges for law. These challenges stem from law’s anthropocentrism, which is often left unspoken. This essay examines both the epistemic and normative dimensions of anthropocentrism within German Law, with a focus on Private Law. It defends the proposition that law’s anthropocentrism does not inherently oppose the idea of granting AI some form of legal capacity. Rather, so the essay argues, it is essentially a question of regulatory prudence to determine (...) the conditions and criteria under which the law should grant a legal status, legal capacity, or partial legal capacity to AI entities. Nonetheless, it is crucial to acknowledge that the core principles of private law as well as questions of liability for fault and negligence are rooted in human agency and cannot be directly applied to AI. It will be argued that the legal discourse on the recognition of AI is to be understood as a fundamentally political discourse. The political dimension of that discourse will be analyzed through the lens of the political theories of Hannah Arendt and Jaques Rancière, among others. (shrink)

Die dezentrale Technologie der Blockchains verspricht durch ihre spezifische Netzwerk- Architektur ihren Nutzern sowohl mehr Freiheit und Autonomie als auch mehr Sicherheit und Transparenz. Damit wurden Blockchains in den letzten Jahren zur Projektionsfläche demokratischer und egalitärer Utopien. Der Beitrag ist eine medienphilosophische Analyse der Idee der Blockchain und ihrer praktischen Umsetzungen und zielt auf eine kritische Prüfung der mit Blockchains verbundenen Versprechen und Erwartungen. The decentralized technology of blockchains promises its users more freedom and autonomy as well as more security (...) and transparency through its specific network architecture. In recent years, blockchains have thus become a projection screen for democratic and egalitarian utopias. The contribution is a media- philosophical analysis of the Blockchain idea and its practical implementation and aims at a critical examination of the promises and expectations associated with Blockchains. (shrink)